Florido, Mario: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gödel’s system revisited

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 970 KB

english, 2010

2

Type Inference using Constraint Handling Rules

Sandra Alves, Mário Florido

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 334 KB

english, 2002

3

[IEEE Second International Conference on Internet and Web Applications and Services (ICIW'07) - Morne, Mauritius (2007.05.13-2007.05.19)] Second International Conference on Internet and Web Applications and Services (ICIW'07) - Type-Based Static and Dynamic Website Verification

Coelho, Jorge, Florido, Mario

Year:

2007

Language:

english

File:

PDF, 279 KB

english, 2007

4

CLP(H): Constraint logic programming for hedges

DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 195 KB

english, 2016

5

Intrahost and Interhost Variability of the HIV Type 1 nef Gene in Brazilian Children

Cavalieri, Elizabeth, Florido, Camila, Leal, Élcio, Machado, Daisy Maria, Camargo, Michelle, Diaz, Ricardo S., Janini, Luiz Mario

Journal:

AIDS Research and Human Retroviruses

Year:

2009

Language:

english

File:

PDF, 1.00 MB

english, 2009

6

Linearization of the lambda-calculus and its relation with intersection type systems

FLORIDO, MÁRIO, DAMAS, LUÍS

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

7

A New Approach to Oxidative Stress and Inflammatory Signaling during Labour in Healthy Mothers and Neonates

Díaz-Castro, Javier, Florido, Jesus, Kajarabille, Naroa, Prados, Sonia, de Paco, Catalina, Ocon, Olga, Pulido-Moran, Mario, Ochoa, Julio J.

Journal:

Oxidative Medicine & Cellular Longevity

Year:

2015

Language:

english

File:

PDF, 1.42 MB

english, 2015

8

[ACM Press the 10th ACM SIGPLAN workshop - Tokyo, Japan (2011.09.23-2011.09.23)] Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11 - Interfacing dynamically typed languages and the why tool

Amaral, Cláudio, Florido, Mário, Jansson, Patrik

Year:

2011

Language:

english

File:

PDF, 332 KB

english, 2011

9

Weak linearization of the lambda calculus

Sandra Alves, Mário Florido

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 351 KB

english, 2005

10

Preface

Nigam, Vivek, Florido, Mário

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 105 KB

english, 2017

11

Systemic Capillary Leak Syndrome Presenting With Fulminant Recurrent Cardiogenic Shock

Arvanitis, Marios, Tuday, Eric, Florido, Roberta, Hsu, Steven, Choi, Chun W., Sharma, Kavita, Schulman, Steven P.

Journal:

Circulation Heart Failure

Year:

2019

Language:

english

File:

PDF, 236 KB

english, 2019

12

Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Simões, Hugo, Vasconcelos, Pedro, Florido, Mário, Jost, Steffen, Hammond, Kevin

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

13

Linearity and iterator types for Gödel’s System

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 911 KB

english, 2010

14

Minimality in a Linear Calculus with Iteration

Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

15

Type-Based Cost Analysis for Lazy Functional Languages

Jost, Steffen, Vasconcelos, Pedro, Florido, Mário, Hammond, Kevin

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.24 MB

english, 2017

16

Certifying execution time in multicores

Rodrigues, Vítor, Akesson, Benny, Florido, Mário, de Sousa, Simão Melo, Pedroso, João Pedro, Vasconcelos, Pedro

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

17

Pattern-based calculi with finitary matching

Alves, Sandra, Dundua, Besik, Florido, Mário, Kutsia, Temur

Journal:

Logic Journal of IGPL

Year:

2017

Language:

english

File:

PDF, 662 KB

english, 2017

18

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Linearity and recursion in a typed Lambda-calculus

Alves, Sandra, Fernández, Maribel, Florido, Mário, Mackie, Ian

Year:

2011

Language:

english

File:

PDF, 518 KB

english, 2011

19

[ACM Press the 9th annual ACM international workshop - Lisbon, Portugal (2007.11.09-2007.11.09)] Proceedings of the 9th annual ACM international workshop on Web information and data management - WIDM '07 - XCentric

Coelho, Jorge, Florido, Mario

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

20

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Lambda Calculus with Regular Types

Dundua, Besik, Florido, Mario, Kutsia, Temur

Year:

2015

Language:

english

File:

PDF, 367 KB

english, 2015

21

[IEEE Integration (IRI) - Las Vegas, NV, USA (2009.08.10-2009.08.12)] 2009 IEEE International Conference on Information Reuse & Integration - Collaborative schema construction using regular sequence types

Coelho, Jorge, Florido, Mario, Kutsia, Temur

Year:

2009

Language:

english

File:

PDF, 473 KB

english, 2009

22

The Power of Closed Reduction Strategies

Sandra Alves, Maribel Fernández, Mario Florido, Ian Mackie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 353 KB

english, 2007

23

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Simões, Hugo, Vasconcelos, Pedro, Florido, Mário, Jost, Steffen, Hammond, Kevin

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски